HighContrast: remove deprecated progressbar style properties

These are ignored and trigger a runtime warning.

diff --git a/gtk/theme/HighContrast/_common.scss b/gtk/theme/HighContrast/_common.scss
index be1d24395172da098b3e3e99950f4426adccaafc..d7e8a5154e739740c319d42048ee7efe801062d4 100644 (file)
--- a/gtk/theme/HighContrast/_common.scss
+++ b/gtk/theme/HighContrast/_common.scss
@@ -1783,8 +1783,6 @@ progressbar progress {
   &.osd {
     border-width: 0;
     border-radius: 0;
-    -GtkProgressBar-xspacing: 0;
-    -GtkProgressBar-yspacing: 2px;
     -GtkProgressBar-min-horizontal-bar-height: 2px; //FIXME still too tall
   }
 }

diff --git a/gtk/theme/HighContrast/gtk.css b/gtk/theme/HighContrast/gtk.css
index 92cf28590c91c82047a1c302b29d5d2044df7efc..93444b56b59bf7133d291f60d83c397b46ebb3c5 100644 (file)
--- a/gtk/theme/HighContrast/gtk.css
+++ b/gtk/theme/HighContrast/gtk.css
@@ -1939,8 +1939,6 @@ progressbar progress {
   progressbar progress.osd {
     border-width: 0;
     border-radius: 0;
-    -GtkProgressBar-xspacing: 0;
-    -GtkProgressBar-yspacing: 2px;
     -GtkProgressBar-min-horizontal-bar-height: 2px; }
 
 /*************